Works by R. O. Gandy

( view other items matching `R. O. Gandy`, view all matches )
20 found
Order:
  1.  43
    The next admissible set.K. J. Barwise, R. O. Gandy & Y. N. Moschovakis - 1971 - Journal of Symbolic Logic 36 (1):108-120.
    Direct download (8 more)  
     
    Export citation  
     
    Bookmark   15 citations  
  2.  17
    Some Reasons for Generalizing Recursion Theory.G. Kreisel, R. O. Gandy & C. E. M. Yates - 1975 - Journal of Symbolic Logic 40 (2):230-232.
    Direct download  
     
    Export citation  
     
    Bookmark   14 citations  
  3.  55
    On the axiom of extensionality – Part I.R. O. Gandy - 1956 - Journal of Symbolic Logic 21 (1):36-48.
    Direct download (8 more)  
     
    Export citation  
     
    Bookmark   8 citations  
  4.  44
    Set Existence.R. O. Gandy, G. Kreisel & W. W. Tait - 1962 - Journal of Symbolic Logic 27 (2):232-233.
    Direct download  
     
    Export citation  
     
    Bookmark   7 citations  
  5.  44
    On the axiom of extensionality, part II.R. O. Gandy - 1959 - Journal of Symbolic Logic 24 (4):287-300.
    Direct download (7 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  6.  227
    Meeting of the association for symbolic logic Manchester 1969.R. O. Gandy & C. E. M. Yates - 1970 - Journal of Symbolic Logic 35 (4):598-613.
    Direct download (7 more)  
     
    Export citation  
     
    Bookmark  
  7.  19
    Generalized recursion theory II: proceedings of the 1977 Oslo symposium.Jens Erik Fenstad, R. O. Gandy & Gerald E. Sacks (eds.) - 1978 - New York: sole distributors for the U.S.A. and Canada, Elsevier North-Holland.
    GENERALIZED RECUBION THEORY II © North-Holland Publishing Company (1978) MONOTONE QUANTIFIERS AND ADMISSIBLE SETS Ion Barwise University of Wisconsin ...
    Direct download  
     
    Export citation  
     
    Bookmark  
  8.  29
    European meeting of the association for symbolic logic: Oxford, England, 1976.R. O. Gandy & D. S. Scott - 1977 - Journal of Symbolic Logic 42 (3):437-479.
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark  
  9.  48
    On the Axiom of Extensionality.R. O. Gandy & Dana Scott - 1964 - Journal of Symbolic Logic 29 (3):142-142.
    Direct download  
     
    Export citation  
     
    Bookmark   1 citation  
  10. Principles of mechanisms.R. O. Gandy - 1980 - In J. Barwise, H. J. Keisler & K. Kunen (eds.), The Kleene Symposium. North-Holland.
     
    Export citation  
     
    Bookmark  
  11.  15
    Andrews P. B.. A transfinite type theory with type variables. Studies in logic and the foundations of mathematics. North-Holland Publishing Company, Amsterdam 1965, xv + 143 pp. [REVIEW]R. O. Gandy - 1968 - Journal of Symbolic Logic 33 (1):112-113.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  12.  15
    Borkowski Ludwik. Systems of the propositional and of the functional calculus based on one primitive term. English, with Polish and Russian summaries. Studia logica, vol. 6 , pp. 7–55. [REVIEW]R. O. Gandy - 1959 - Journal of Symbolic Logic 24 (3):242-243.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  13.  13
    Bourbaki N.. Théorie des ensembles. Éléments de Mathématique, Première partie, Livre I, Chapitres I, II. Actualités scientifiques et industrielles 1212. Hermann & Cie, Paris 1954, title pages + 136 pp. [REVIEW]R. O. Gandy - 1959 - Journal of Symbolic Logic 24 (1):71-73.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  14.  15
    Boone William W.. An analysis of Turing's “The word problem in semi-groups with cancellation.” Annals of mathematics, ser. 2 vol. 67 , pp. 195–202. [REVIEW]R. O. Gandy - 1959 - Journal of Symbolic Logic 24 (3):239-239.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  15.  11
    Joseph Barback. An md-class of sets indexed by a regressive function. The journal of the Australian Mathematical Society, vol. 7 (1967), pp. 301–310. [REVIEW]R. O. Gandy & John N. Crossley - 1970 - Journal of Symbolic Logic 35 (1):157-157.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  16.  15
    L'Abbé Maurice. Systems of transfinite types involving λ-conversion. [REVIEW]R. O. Gandy - 1958 - Journal of Symbolic Logic 23 (3):361-362.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  17.  7
    Review: Arthur Pap, Types and Meaninglessness. [REVIEW]R. O. Gandy - 1960 - Journal of Symbolic Logic 25 (4):333-334.
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark  
  18. Review: N. Bourbaki, Theorie des Ensembles. [REVIEW]R. O. Gandy - 1959 - Journal of Symbolic Logic 24 (1):71-73.
     
    Export citation  
     
    Bookmark   1 citation  
  19. Review: P. B. Andrews, A Transfinite Type Theory with Type Variables. [REVIEW]R. O. Gandy - 1968 - Journal of Symbolic Logic 33 (1):112-113.
     
    Export citation  
     
    Bookmark  
  20.  12
    Review: William W. Boone, An Analysis of Turing's "The Word Problem in Semi-groups with Cancellation". [REVIEW]R. O. Gandy - 1959 - Journal of Symbolic Logic 24 (3):239-239.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark